module 0x42::M {
}
